State-Dependent Implication and Equivalence in Quantum Logic
نویسندگان
چکیده
منابع مشابه
Logic optimization and equivalence checking by implication analysis
This paper proposes a new approach to multilevel logic optimization based on automatic test pattern generation (ATPG). It shows that an ordinary test generator for single stuckat faults can be used to perform arbitrary transformations in a combinational circuit and discusses how this approach relates to conventional multilevel minimization techniques based on Boolean division. Furthermore, effe...
متن کاملQuantum state transfer and time-dependent disorder in Quantum Chains
One of the most basic tasks required for Quantum Information Technology is the ability to connect different components of a Quantum Computer by quantum wires that obey the superposition principle. Since superpositions can be very sensitive to noise this turns out to be already quite difficult. Recently, it was suggested to use chains of permanently coupled spin-1/2 particles (quantum chains) fo...
متن کاملEquivalence in Abductive Logic
We consider the problem of identifying equivalence of two knowledge bases which are capable of abductive reasoning. Here, a knowledge base is written in either first-order logic or nonmonotonic logic programming. In this work, we will give two definitions of abductive equivalence. The first one, explainable equivalence, requires that two abductive programs have the same explainability for any o...
متن کاملMorphine sensitization and state-dependent learning in mice
In the present study, the effects of morphine sensitization on morphine-induced impairment of memory formation and the state-dependent retrieval of a passive avoidance task learned under morphine influence have been investigated in mice. Pre-training administration of morphine (0.5, 2.5 and 5 mg/kg) dose dependently suppressed the learning of one-trial passive avoidance task. Pre-test administr...
متن کاملMorphine sensitization and state-dependent learning in mice
In the present study, the effects of morphine sensitization on morphine-induced impairment of memory formation and the state-dependent retrieval of a passive avoidance task learned under morphine influence have been investigated in mice. Pre-training administration of morphine (0.5, 2.5 and 5 mg/kg) dose dependently suppressed the learning of one-trial passive avoidance task. Pre-test administr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematical Physics
سال: 2012
ISSN: 1687-9120,1687-9139
DOI: 10.1155/2012/385341